Dependence logic - PDFSEARCH.IO - Document Search Engine

Dependence logic
Results: 46

#	Item
31	A Construction of the Null Set Kerry M. Soileau March 4, 2013 The imaginary number i satisfies the relation i 2  1 , but this information falls short of a construction. Accordingly, one constructs i by identifying Add to Reading List Source URL: www.kerrysoileau.com Language: English - Date: 2013-03-05 21:29:34 Glucocorticoids Organofluorides Entailment Dependence analysis Logic Equivalence relation Rope
32	Interprocedural Dependence Analysis of Higher-Order Programs via Stack Reachability Matthew Might Tarun Prabhu Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-01-06 09:40:14 Model theory Structure String Linguistics Logic Mathematics Character encoding Metalogic
33	Concurrent Strategies Silvain Rideau Glynn Winskel Ecole Normale Sup´erieure de Paris, France Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2011-05-25 10:55:43 Statistical dependence Structure Model theory Logic Probability theory Mathematics Independence
34	DEPENDENCE RELATION IN PREGEOMETRIES RAMI GROSSBERG AND OLIVIER LESSMANN Add to Reading List Source URL: www.math.cmu.edu Language: English - Date: 2000-04-25 12:42:37 Order theory Matroid theory Pregeometry General topology Closure operator Equivalence relation Forking extension Closure Dependence relation Mathematics Model theory Mathematical logic
35	GENERALIZED AMALGAMATION IN SIMPLE THEORIES AND CHARACTERIZATION OF DEPENDENCE Add to Reading List Source URL: www.math.cmu.edu Language: English - Date: 2004-09-13 13:59:28 Forking extension Mathematics Emmy Noether Model theory Logic Stable theory
36	Inclusion Logic and Fixed Point Logic Pietro Galliani1 and Lauri Hella2 1 Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2013-08-27 05:13:12 Model theory First-order logic FO Function Constructible universe Structure Symbol Dependence logic Linear temporal logic Mathematics Mathematical logic Logic
37	Coeffects: Unified static analysis of context-dependence Tomas Petricek, Dominic Orchard and Alan Mycroft University of Cambridge, UK Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2013-04-30 05:07:23 Adjoint functors Logic in computer science Programming language semantics Lambda calculus Models of computation Monad Simply typed lambda calculus Function Entailment Logic Mathematics Theoretical computer science
38	Brit. J. Phil. Sci[removed]), 521–583 Independence, Invariance and the Add to Reading List Source URL: philosophy.wisc.edu Language: English - Date: 2011-08-31 12:59:42 Statistical dependence Philosophy of science Logic Philosophers of science Covariance and correlation Correlation and dependence Spurious relationship Causal sets Indeterminism Statistics Science Causality
39	Detecting Causality in Complex Ecosystems George Sugihara et al. Science 338, [removed]); Add to Reading List Source URL: www.uvm.edu Language: English - Date: 2012-11-27 09:38:32 Statistical dependence Logic Dynamical systems Correlation and dependence Causality Differential equation Cross-correlation Spurious relationship Variable Statistics Covariance and correlation Mathematics
40	Coeffects: The Essence of Context Dependence Submitted draft (October 2012) Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2012-10-28 21:18:50 Theoretical computer science Models of computation Functional programming Monad Logic in computer science Lambda calculus Function Sheaf Symbol Mathematics Adjoint functors Mathematical logic

UPDATE